退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将证明环境粘合在一起:具有锁定的LF类理论的规范扩展
Furio Honsell; Luigi Liquori; Petar Maksimović; Ivan Scagnetto;
机译:使用LF中的Locks的插入式证明开发环境
机译:LF类型理论的等价性和规范形式。
机译:具有典型和非典型A型双链α,β和δ扭转角组合(LNA / alpha,β-D-CNA)的二核苷酸的合成和结构
机译:情态类型理论中的内涵性,可扩展性和证明无关紧要
机译:内涵类型理论中的可扩展证明工程。
机译:在拥挤环境中模拟DNA时蛋白质相互作用在稳定规范DNA特征中的作用
机译:融合证明环境:具有锁的LF类型理论的规范扩展
机译:LF型理论中的等价与规范形式
机译:1.手动绕线式百叶窗(MR.No.40型),2.半自动绕线式百叶窗(MR.No.41型),3.全自动绕线式百叶窗(MR.No.42型) ,4.盲存储盒(MR.No. 43型),5.弯钩止动板(MR.No. 44),6.半自动防雨罩和波纹管盲板(MR.No. 45) )
机译:用于带有砖块或石板的建筑的自粘胶涂层使所有建筑材料类型都可以自粘的方式进行处理;所有类型的砖块,甚至是混凝土空心砖块或石板,都可以用这种涂料组装
机译:具有自锁和自动解锁功能的棘爪型线性或圆形锁定装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。